Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
301	Randomness and Universal Machines Santiago Figueira∗ Frank Stephan† Guohua Wu‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:57:54 Computer science Turing machine Formal methods Models of computation Turing degree Recursively enumerable set Computability Μ-recursive function Lambda calculus Computability theory Theoretical computer science Theory of computation
302	Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. NATHAN FOSTER University of Pennsylvania MICHAEL B. GREENWALD Bell Labs, Lucent Technologies Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-01-16 16:08:21 Mathematics Combinatory logic Fixed-point combinator Recursion Camera lens Theoretical computer science Lambda calculus Applied mathematics
303	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
304	Abstract syntax for variable binders: An overview Dale Miller Department of Computer Science and Engineering 220 Pond Laboratory, The Pennsylvania State University University Park, PAUSA Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-11-03 10:29:10 Lambda calculus Logic programming Type theory Predicate logic ΛProlog Unification Free variables and bound variables Simply typed lambda calculus Higher-order abstract syntax Logic Mathematics Theoretical computer science
305	Semantic Subtyping for Objects and Classes Ornela Dardha1 Daniele Gorla2 Daniele Varacca3 Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2014-11-21 05:56:58 Data types Object-oriented programming Programming language theory Subtype polymorphism Type system Polymorphism E Inheritance Lambda calculus Software engineering Type theory Computing
306	BRICS Basic Research in Computer Science BRICS RSL. Santocanale: A Calculus of Circular Proofs and its Categorical Semantics A Calculus of Circular Proofs and Add to Reading List Source URL: www.brics.dk Language: English - Date: 2001-05-09 04:26:17 Universal property Lambda calculus Functor Combinatory logic Initial algebra Function Equivalence of categories Sheaf Coproduct Mathematics Category theory Abstract algebra
307	ACM ICPC 2014–2015, NEERC, Northern Subregional Contest St Petersburg, November 8, 2014 Problem A. Alarm Clock Input file: Output file: Add to Reading List Source URL: neerc.ifmo.ru Language: English - Date: 2014-11-08 20:21:31 Formal languages Procedural programming languages Cross-platform software Lambda calculus Automata theory Regular expression Function Combinatory logic C Mathematics Software engineering Computing
308	Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem J. Nathan Foster Michael B. Greenwald Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2005-02-13 21:11:53 Computer science Principles of Programming Languages Computing Lambda calculus Logic in computer science Combinatory logic
309	Typed Normal Form Bisimulation Soren B. Lassen1 and Paul Blain Levy2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-12-20 12:37:08 Logic in computer science Lambda calculus Process calculi Π-calculus Bisimulation Combinatory logic Fixed-point combinator Sheaf Theoretical computer science Applied mathematics Mathematics

UPDATE